3b1ff5f3d224a069f6ed350f9da84115131847ed,main/src/main/java/de/learnlib/alex/rest/CounterResource.java,CounterResource,deleteCounter,#number#StringList#,130

Before Change


        User user = ((UserPrincipal) securityContext.getUserPrincipal()).getUser();
        LOGGER.traceEntry("deleteCounter({}, {}) for user {}.", projectId, names, user);

        try {
            counterDAO.delete(user.getId(), projectId, names.toArray(new String[names.size()]));

            LOGGER.traceExit("Counter(s) {} deleted.", names);
            return Response.status(Response.Status.NO_CONTENT).build();
        } catch (NotFoundException e) {
            LOGGER.traceExit(e);
            return ResourceErrorHandler.createRESTErrorMessage("CounterResource.deleteCounter",
                                                               Response.Status.NOT_FOUND,
                                                               e);
        }

    }

After Change


        User user = ((UserPrincipal) securityContext.getUserPrincipal()).getUser();
        LOGGER.traceEntry("deleteCounter({}, {}) for user {}.", projectId, names, user);

        counterDAO.delete(user.getId(), projectId, names.toArray(new String[names.size()]));

        LOGGER.traceExit("Counter(s) {} deleted.", names);
        return Response.status(Response.Status.NO_CONTENT).build();

    }